semantic tableau
noun
(
logic
)
1.
a method of demonstrating the consistency or otherwise of a set of statements by constructing a diagrammatic representation of all the circumstances that satisfy the set of statements
2.
the diagram so constructed